$ time: 0.159747000000000
$ 